Issue1918.agda:3,1-36
The --no-coverage-check option has been removed.
